Set x {
    shape = Circle { }
    constraint contains(x, x.label)
}

Set A {
    arr = Arrow {
        start = A.shape
        end   = B
    }
}
